Feeds to Scour
SubscribedAll
Scoured 19152 posts in 237.6 ms
isledb: An embedded key-value engine built on object storage in Go
reddit.com·10h·
Discuss: r/golang
🏺Database Archaeology
GoodluckH/hibernate: Permanently store what makes you who you are for reconstruction
github.com·1h·
Discuss: Hacker News
⏰Time Crystals
Differential Logic • 4
inquiryintoinquiry.com·8h
⚔️Lean Theorem
Lazy-pulling containers: 65x faster pulls, but 20x slower readiness
blog.zmalik.dev·4h·
Discuss: Hacker News
📦Container Security
Building Reliable AI Applications: A Validation Strategy
dev.to·11h·
Discuss: DEV
✅Format Verification
Recursive Deductive Verification: A framework for reducing AI hallucinations
news.ycombinator.com·8h·
Discuss: Hacker News
⚖️Hoare Logic
Soft Delete Is a Workaround
docs.eventsourcingdb.io·1h·
Discuss: Hacker News
⛏️SQL Archaeology
Declarative, Reproducible Emacs
irreal.org·1d
🧩Shell Metaprogramming
QNAP Unifies Backup and Object Storage with myQNAPcloud One
storagereview.com·1d
🕸️Mesh Archiving
Private Data Space Model
privatedata.space·3d
✅Format Verification
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·1d
✅CDDL Validation
Building a Dynamic Multilanguage System Without Rebuilds
kuldeepmodi.vercel.app·7h·
Discuss: DEV
🔄Language Evolution
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·2d
🧠Separation Logic
Unlocking core memories with GoldSrc engine and CS 1.6 (2025)
danielbrendel.com·9h·
Discuss: Hacker News
⚡Homebrew CPUs
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·2d
🤝Consensus Protocols
wareya/pred_recdec: Predicated LL (recursive descent) parser in pure rust
github.com·18m·
Discuss: Hacker News
🔗Parser Combinators
8)
linuxiac.com·1h
🔌Operating system internals
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·1d
🦀Rust Macros
Deobfuscation and Analysis of Ring-1.io
back.engineering·2h·
Discuss: Hacker News
🔒Secure Boot
Oatmeal - Constraint propagation for fun
eli.li·19h·
Discuss: Lobsters, Hacker News
🧮Z3 Solver

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help